Description logic - PDFSEARCH.IO - Document Search Engine

Description logic
Results: 846

#	Item
61	Description of The Initiation to General Semantics Workshop that took place Paris, April 23rd, 2016 Paris American Academy 277, rue St JacquesPARIS, 5-hour workshop. Many thanks to Peter CARMAN, the President of T Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2016-05-01 14:51:37 General semantics Philosophy Logic Human communication Abstraction Reasoning Alfred Korzybski Structural differential Mapterritory relation Inference Jumping to conclusions
62	PhD Dissertation International Doctorate School in Information and Communication Technologies DIT - University of Trento Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2014-09-10 09:40:14 Semantic Web Computer security Access control Security Computing Ontology Knowledge engineering Computer access control Role-based access control Description logic Web Ontology Language Lightweight ontology
63	Fluxplayer: A Successful General Game Player Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology {stephan.schiffel,mit}@inf.tu-dresden.de Add to Reading List Source URL: ggp.stanford.edu Language: English - Date: 2009-04-21 15:13:54 Game artificial intelligence Mathematics Gaming Mathematical logic Eval Mathematical optimization Game Description Language Function FO Computer chess
64	Course Description: ELEC204 is a course targeting electrical and computer engineering students to build the fundamental digital design and experimentation concepts. In this course we will study the combinational logic ci Add to Reading List Source URL: atakangunal.com Language: English - Date: 2014-10-22 13:26:41 Academia Academic transfer Course credit Education Massachusetts Institute of Technology Knowledge
65	Activity ReportProject-Team EXMO Computer-mediated communication of structured knowledge Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:10 Semantic Web Computing Information science Ontology Knowledge representation Information Knowledge engineering Web Ontology Language Resource Description Framework Knowledge representation and reasoning Description logic Upper ontology
66	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE, Maiko Isozaki Abstract— This short description is written for the Ms.PacMan competition in CEC2007, held in Singapore. First, instr Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2007-09-14 12:47:49 Software Gaming Fuzzy logic Classes of computers Artificial intelligence Logic in computer science Non-classical logic Membership function Pac-Man Fuzzy rule Ghosts
67	R2RML-F: Towards Sharing and Executing Domain Logic in R2RML Mappings Christophe Debruyne and Declan O’Sullivan ADAPT Centre (http://www.adaptcentre.ie/) Trinity College Dublin (http://www.tcd.ie/) Add to Reading List Source URL: events.linkeddata.org Language: English - Date: 2016-05-03 13:54:02 Semantic Web Resource Description Framework Map Web Ontology Language Parameter
68	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
69	The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:05 Diagrams Diagrammatic reasoning Existential graph Diagram Conceptual graph Euler diagram Venn diagram Logical graph Charles Sanders Peirce Resource Description Framework Logic Description logic
70	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification